Conflict and Concurrent are two typical actions in Petri nets. We provide a new method of calculating of minimal cut sets for monotone coherent systems based on reverse model and ECS based conflict resolution method. 冲突和并发是Petri网的两种典型的行为,本文基于系统可靠性Petri网模型的逆模型和基于ECS的解冲突算法,得到一种新的求解单调关联系统最小割集的算法。
In concurrent engineering, the conflict checking and resolution are unavoidable. 并行工程产品开发过程中不可避免地会遇到各种冲突。